@book{Mitchell:1997,
 author = {Thomas M. Mitchell},
 title = {Machine Learning},
 year = {1997},
 isbn = {0070428077, 9780070428072},
 edition = {1},
 publisher = {McGraw-Hill, Inc.},
 address = {New York, NY, USA},
} 

@article{Hall:2009,
 author = {Hall, Mark and Frank, Eibe and Holmes, Geoffrey and Pfahringer, Bernhard and Reutemann, Peter and Witten, Ian H.},
 title = {The WEKA data mining software: an update},
 journal = {SIGKDD Explor. Newsl.},
 issue_date = {June 2009},
 volume = {11},
 number = {1},
 month = nov,
 year = {2009},
 issn = {1931-0145},
 pages = {10--18},
 numpages = {9},
 url = {http://doi.acm.org/10.1145/1656274.1656278},
 doi = {10.1145/1656274.1656278},
 acmid = {1656278},
 publisher = {ACM},
 address = {New York, NY, USA},
} 


@article{Pagallo:1990,
 author = {y Giulia Pagallo and David Haussler and Paul Rosenbloom},
 title = {Boolean feature discovery in empirical learning},
 journal = {Machine Learning.},
 volume = {5},
 number = {1},
 issue_date = {Mar. 1990},
  month = {Mar},
 year = {1990},
 issn = {0885-6125},
 url = {http://dx.doi.org/10.1023/A:1022611825350},
 pages = {71--99},
 numpages = {29},
 acmid = {83649},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},} 

@inproceedings{Cohen:1995,
author = {William W. Cohen},
title = {Fast effective rule induction},
booktitle = {Proceedings of the 12th International Conference on Machine Learning},
series = {ICML'95},
year = {1995},
location = {Tahoe City, California, USA},
pages = {115--123},
publisher = {Morgan Kaufmann}
}


@inproceedings{Frank:1998,
author = {Eibe Frank and Ian H. Witten},
title = {Generating Accurate Rule Sets Without Global Optimization},
booktitle = {Proceedings of the 15th International Conference on Machine Learning},
series = {ICML'98},
year = {1998},
location = {San Francisco, California, USA},
pages = {144--151},
publisher = {Morgan Kaufmann}
}


@book{Quinlan:1993,
 author = {Quinlan, J. Ross},
 title = {C4.5: programs for machine learning},
 year = {1993},
 isbn = {1-55860-238-0},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
} 

@Misc{mysql,
  key =   {MySQL},
  title =    {{MySQL}},
  note = {\url{http://www.mysql.com}},
}

@Misc{stackoverflow,
  key =   {stackoverflow},
  title =    {{StackOverflow}},
  note = {\url{http://www.stackoverflow.com}},
}

@Misc{tutorialized,
  key =   {tutorialforums},
  title =    {{Tutorialized Forums}},
  note = {\url{http://forums.tutorialized.com}},
}

@Misc{dbjournal,
  key =   {dbjournal},
  title =    {{Database Journal}},
  note = {\url{http://forums.databasejournal.com/}},
}

@inproceedings{Chris:2003,
author = {Drummond, Chris and Holte, Robert C.},
title = {C4.5, Class Imbalance, and Cost Sensitivity: Why Under-Sampling beats Over-Sampling},
booktitle = {Proceedings of the 20th ICML Workshop on Learning from Imbalanced Data Sets},
series = {ICML'03},
year = {2003},
}

@inproceedings{Harris:2011,
 author = {Harris, William R. and Gulwani, Sumit},
 title = {Spreadsheet table transformations from examples},
 booktitle = {Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '11},
 year = {2011},
 isbn = {978-1-4503-0663-8},
 location = {San Jose, California, USA},
 pages = {317--328},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1993498.1993536},
 doi = {10.1145/1993498.1993536},
 acmid = {1993536},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {end-user programming, program synthesis, programming by example, spreadsheet programming, table manipulation, user intent},
} 

@inproceedings{Tran:2009,
 author = {Tran, Quoc Trung and Chan, Chee-Yong and Parthasarathy, Srinivasan},
 title = {Query by output},
 booktitle = {Proceedings of the 35th SIGMOD international conference on Management of data},
 series = {SIGMOD '09},
 year = {2009},
 isbn = {978-1-60558-551-2},
 location = {Providence, Rhode Island, USA},
 pages = {535--548},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1559845.1559902},
 doi = {10.1145/1559845.1559902},
 acmid = {1559902},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {at-least-one semantics, instance-equivalent queries, query by output},
} 

@inproceedings{DasSarma:2010,
 author = {Das Sarma, Anish and Parameswaran, Aditya and Garcia-Molina, Hector and Widom, Jennifer},
 title = {Synthesizing view definitions from data},
 booktitle = {Proceedings of the 13th International Conference on Database Theory},
 series = {ICDT '10},
 year = {2010},
 isbn = {978-1-60558-947-3},
 location = {Lausanne, Switzerland},
 pages = {89--103},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/1804669.1804683},
 doi = {10.1145/1804669.1804683},
 acmid = {1804683},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {algorithms, complexity, query synthesis, view definitions},
} 

@inproceedings{Zloof:1975,
 author = {Zloof, Mosh{\'e} M.},
 title = {Query-by-example: the invocation and definition of tables and forms},
 booktitle = {Proceedings of the 1st International Conference on Very Large Data Bases},
 series = {VLDB '75},
 year = {1975},
 location = {Framingham, Massachusetts},
 pages = {1--24},
 numpages = {24},
 url = {http://doi.acm.org/10.1145/1282480.1282482},
 doi = {10.1145/1282480.1282482},
 acmid = {1282482},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{singh:2012,
 author = {Rishabh Singh and Sumit Gulwani},
 title = {Learning Semantic String Transformations from Examples},
 booktitle = {Proceedings of the 37st International Conference on Very Large Data Bases},
 series = {VLDB '2012},
 year = {2012},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{Howe:2011,
 author = {Howe, Bill and Cole, Garret and Khoussainova, Nodira and Battle, Leilani},
 title = {Automatic example queries for ad hoc databases},
 booktitle = {Proceedings of the 2011 international conference on Management of data},
 series = {SIGMOD '11},
 year = {2011},
 isbn = {978-1-4503-0661-4},
 location = {Athens, Greece},
 pages = {1319--1322},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/1989323.1989487},
 doi = {10.1145/1989323.1989487},
 acmid = {1989487},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {dataspaces, query recommendation, scientific databases},
} 

@article{Khoussainova:2010,
 author = {Khoussainova, Nodira and Kwon, YongChul and Balazinska, Magdalena and Suciu, Dan},
 title = {SnipSuggest: context-aware autocompletion for SQL},
 journal = {Proc. VLDB Endow.},
 issue_date = {October 2010},
 volume = {4},
 number = {1},
 month = oct,
 year = {2010},
 issn = {2150-8097},
 pages = {22--33},
 numpages = {12},
 url = {http://dl.acm.org/citation.cfm?id=1880172.1880175},
 acmid = {1880175},
 publisher = {VLDB Endowment},
} 

@inproceedings{Gulwani:2011,
 author = {Gulwani, Sumit},
 title = {Automating string processing in spreadsheets using input-output examples},
 booktitle = {Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '11},
 year = {2011},
 isbn = {978-1-4503-0490-0},
 location = {Austin, Texas, USA},
 pages = {317--330},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1926385.1926423},
 doi = {10.1145/1926385.1926423},
 acmid = {1926423},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {program synthesis, programming by example (pbe), spreadsheet programming, string manipulation, user intent, version space algebra},
} 

@inproceedings{Gulwani:2010:DPS,
 author = {Gulwani, Sumit},
 title = {Dimensions in program synthesis},
 booktitle = {Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming},
 series = {PPDP '10},
 year = {2010},
 isbn = {978-1-4503-0132-9},
 location = {Hagenberg, Austria},
 pages = {13--24},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1836089.1836091},
 doi = {10.1145/1836089.1836091},
 acmid = {1836091},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {belief propagation, deductive synthesis, genetic programming, inductive synthesis, machine learning, probabilistic inference, programming by demonstration, programming by examples, sat solving, smt solving},
} 

@article{sttt-synthesis,
  author = {Saurabh Srivastava and Sumit Gulwani and Jeffrey S. Foster},
  title = {{Template-based Program Verification and Program Synthesis}},
  journal = {International Journal on Software Tools for Technology Transfer (STTT), special issue on Algorithmic Program Synthesis},
  year = {2012},
  pages = {1--22},
  month = {January},
}


@inproceedings{Kandel:2011,
 author = {Kandel, Sean and Paepcke, Andreas and Hellerstein, Joseph and Heer, Jeffrey},
 title = {Wrangler: interactive visual specification of data transformation scripts},
 booktitle = {Proceedings of the 2011 annual conference on Human factors in computing systems},
 series = {CHI '11},
 year = {2011},
 isbn = {978-1-4503-0228-9},
 location = {Vancouver, BC, Canada},
 pages = {3363--3372},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1978942.1979444},
 doi = {10.1145/1978942.1979444},
 acmid = {1979444},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {data analysis, data cleaning, transformation, visualization, wrangler},
} 

@inproceedings{Fisher:2008,
 author = {Fisher, Kathleen and Walker, David and Zhu, Kenny Q. and White, Peter},
 title = {From dirt to shovels: fully automatic tool generation from ad hoc data},
 booktitle = {Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 series = {POPL '08},
 year = {2008},
 isbn = {978-1-59593-689-9},
 location = {San Francisco, California, USA},
 pages = {421--434},
 numpages = {14},
 url = {http://doi.acm.org/10.1145/1328438.1328488},
 doi = {10.1145/1328438.1328488},
 acmid = {1328488},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {ad hoc data, data description languages, grammar induction, tool generation},
} 

@article{Lau:2003:PDU,
 author = {Lau, Tessa and Wolfman, Steven A. and Domingos, Pedro and Weld, Daniel S.},
 title = {Programming by Demonstration Using Version Space Algebra},
 journal = {Mach. Learn.},
 issue_date = {October-November 2003},
 volume = {53},
 number = {1-2},
 month = oct,
 year = {2003},
 issn = {0885-6125},
 pages = {111--156},
 numpages = {46},
 url = {http://dx.doi.org/10.1023/A:1025671410623},
 doi = {10.1023/A:1025671410623},
 acmid = {940878},
 publisher = {Kluwer Academic Publishers},
 address = {Hingham, MA, USA},
 keywords = {adaptive user interfaces, complex function learning, programming by demonstration, version spaces},
} 

@inproceedings{Lau:2000:VSA,
 author = {Lau, Tessa A. and Domingos, Pedro and Weld, Daniel S.},
 title = {Version Space Algebra and its Application to Programming by Demonstration},
 booktitle = {Proceedings of the Seventeenth International Conference on Machine Learning},
 series = {ICML '00},
 year = {2000},
 isbn = {1-55860-707-2},
 pages = {527--534},
 numpages = {8},
 url = {http://dl.acm.org/citation.cfm?id=645529.657973},
 acmid = {657973},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
} 

@inproceedings{Barbosa:2010:MLA,
 author = {Barbosa, Davi M.J. and Cretin, Julien and Foster, Nate and Greenberg, Michael and Pierce, Benjamin C.},
 title = {Matching lenses: alignment and view update},
 booktitle = {Proceedings of the 15th ACM SIGPLAN international conference on Functional programming},
 series = {ICFP '10},
 year = {2010},
 isbn = {978-1-60558-794-3},
 location = {Baltimore, Maryland, USA},
 pages = {193--204},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1863543.1863572},
 doi = {10.1145/1863543.1863572},
 acmid = {1863572},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {alignment, bidirectional languages, boomerang, lenses, view update problem},
} 

@BOOK{cowbook,
   author = "Raghu Ramakrishnan and Johannes Gehrke",
   title= "Database Management Systems",
   publisher = "Addison-Wesley (3rd Edition)",
   year = 2007 
   }

@INPROCEEDINGS{Fisher08Pads,
    author = {Kathleen Fisher},
    title = {LearnPADS: Automatic tool generation from ad hoc data},
    booktitle = {In SIGMOD},
    year = {2008}
}

@article{Arasu:2009:LST,
 author = {Arasu, Arvind and Chaudhuri, Surajit and Kaushik, Raghav},
 title = {Learning string transformations from examples},
 journal = {Proc. VLDB Endow.},
 issue_date = {August 2009},
 volume = {2},
 number = {1},
 month = aug,
 year = {2009},
 issn = {2150-8097},
 pages = {514--525},
 numpages = {12},
 url = {http://dl.acm.org/citation.cfm?id=1687627.1687686},
 acmid = {1687686},
 publisher = {VLDB Endowment},
} 

@inproceedings{Ramakrishnan:2004,
 author = {Ramakrishnan, Naren and Kumar, Deept and Mishra, Bud and Potts, Malcolm and Helm, Richard F.},
 title = {Turning CARTwheels: an alternating algorithm for mining redescriptions},
 booktitle = {Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining},
 series = {KDD '04},
 year = {2004},
 isbn = {1-58113-888-1},
 location = {Seattle, WA, USA},
 pages = {266--275},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1014052.1014083},
 doi = {10.1145/1014052.1014083},
 acmid = {1014083},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {classification trees, data mining in biological domains, redescriptions},
} 

@inproceedings{Gulwani:2011:SGC,
 author = {Gulwani, Sumit and Korthikanti, Vijay Anand and Tiwari, Ashish},
 title = {Synthesizing geometry constructions},
 booktitle = {Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation},
 series = {PLDI '11},
 year = {2011},
 isbn = {978-1-4503-0663-8},
 location = {San Jose, California, USA},
 pages = {50--61},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1993498.1993505},
 doi = {10.1145/1993498.1993505},
 acmid = {1993505},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstraction, forward and backward analysis, program synthesis, ruler-compass geometry constructions},
} 

@article{Gray:2005,
 author = {Gray, Jim and Liu, David T. and Nieto-Santisteban, Maria and Szalay, Alex and DeWitt, David J. and Heber, Gerd},
 title = {Scientific data management in the coming decade},
 journal = {SIGMOD Rec.},
 issue_date = {December 2005},
 volume = {34},
 number = {4},
 month = dec,
 year = {2005},
 issn = {0163-5808},
 pages = {34--41},
 numpages = {8},
 url = {http://doi.acm.org/10.1145/1107499.1107503},
 doi = {10.1145/1107499.1107503},
 acmid = {1107503},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

